Video abstracting
نویسندگان
چکیده
منابع مشابه
Abstracting Syntax
ing Syntax Brian Aydemir Stephanie Weirich Steve Zdancewic University of Pennsylvania {baydemir,sweirich,stevez}@cis.upenn.edu Technical Report MS-CIS-09-06
متن کاملAbstracting from Failure Probabilities
ing from Failure Probabilities Jan Jürjens Computing Laboratory, University of Oxford, GB [email protected] – http://www.jurjens.de/jan Abstract In fault-tolerant computing, dependability of systems is usually demonstrated by abstracting from failure probabilities (under simplifying assumptions on failure occurrences). In the specification framework FOCUS, we show under which conditions and t...
متن کاملAbstracting Probabilistic Actions
Abstracting Probabilistic Actions Peter Haddawy AnHai Doan Department of Electrical Engineering and Computer Science University of Wisconsin-Milwaukee PO Box 784 Milwaukee, WI 53201 fhaddawy, [email protected] Abstract This paper discusses the problem of abstracting conditional probabilistic actions. We identify two distinct types of abstraction: intra-action abstraction and inter-action abstra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 1997
ISSN: 0001-0782,1557-7317
DOI: 10.1145/265563.265572